Dependent Choices and Weak Compactness
نویسندگان
چکیده
We work in set-theory without the Axiom of Choice ZF. We prove that the principle of Dependent Choices (DC) implies that the closed unit ball of a uniformly convex Banach space is weakly compact, and in particular, that the closed unit ball of a Hilbert space is weakly compact. These statements are not provable in ZF, and the latter statement does not imply DC. Furthermore, DC does not imply that the closed unit ball of a reflexive space is weakly compact. Mathematics Subject Classification : primary 03E25, 04A25 ; secondary 46, 54.
منابع مشابه
Countable Choice and Compactness
We work in set-theory without choice ZF. Denoting by AC(N) the countable axiom of choice, we show in ZF+AC(N) that the closed unit ball of a uniformly convex Banach space is compact in the convex topology (an alternative to the weak topology in ZF). We prove that this ball is (closely) convex-compact in the convex topology. Given a set I, a real number p ≥ 1 (resp. p = 0), and some closed subse...
متن کاملJames sequences and Dependent Choices
We prove James’s sequential characterization of (compact) reflexivity in set-theory ZF+DC, where DC is the axiom of Dependent Choices. In turn, James’s criterion implies that every infinite set is Dedekind-infinite, whence it is not provable in ZF. Our proof in ZF+DC of James’ criterion leads us to various notions of reflexivity which are equivalent in ZFC but are not equivalent in ZF. We also ...
متن کاملBilateral composition operators on vector-valued Hardy spaces
Let $T$ be a bounded operator on the Banach space $X$ and $ph$ be an analytic self-map of the unit disk $Bbb{D}$. We investigate some operator theoretic properties of bilateral composition operator $C_{ph, T}: f ri T circ f circ ph$ on the vector-valued Hardy space $H^p(X)$ for $1 leq p leq +infty$. Compactness and weak compactness of $C_{ph, T}$ on $H^p(X)$ are characterized an...
متن کاملSOME RESULTS ON INTUITIONISTIC FUZZY SPACES
In this paper we define intuitionistic fuzzy metric and normedspaces. We first consider finite dimensional intuitionistic fuzzy normed spacesand prove several theorems about completeness, compactness and weak convergencein these spaces. In section 3 we define the intuitionistic fuzzy quotientnorm and study completeness and review some fundamental theorems. Finally,we consider some properties of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 40 شماره
صفحات -
تاریخ انتشار 1999